The RISC Zero Proving System
These are the core algorithms that prove and verify the execution of zk-STARK circuits.
Crate Feature Flags
The following crate feature flags are available.
Feature | Target(s) | Implies | Description |
---|---|---|---|
cuda | prove, std | Turns on CUDA GPU acceleration for the prover. Requires CUDA toolkit to be installed. | |
metal | macos | prove, std | Turns on Metal GPU acceleration for the prover. |
prove | all except rv32im | std | Enables the prover, incompatible within the zkvm guest. |
std | all | Support for the Rust stdlib. |